From: chris@kneesaa.uk.xensource.com Date: Wed, 12 Jul 2006 09:33:37 +0000 (+0100) Subject: Make ioemu dir configurable and change prefix to /usr (works with old and new ioemu). X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~15867 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=7160c43efaa8ad635931afd9718bec315acdb38c;p=xen.git Make ioemu dir configurable and change prefix to /usr (works with old and new ioemu). Signed-off-by: Christian Limpach --- diff --git a/tools/Makefile b/tools/Makefile index 6c490852a9..ac41f2f321 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -58,10 +58,11 @@ check_clean: .PHONY: ioemu ioemuinstall ioemuclean ifdef CONFIG_IOEMU +export IOEMU_DIR ?= ioemu ioemu ioemuinstall ioemuclean: - [ -f ioemu/config-host.h ] || \ - (cd ioemu; sh ./configure --prefix=usr) - $(MAKE) -C ioemu $(patsubst ioemu%,%,$@) + [ -f $(IOEMU_DIR)/config-host.h ] || \ + (cd $(IOEMU_DIR) && sh configure --prefix=/usr) + $(MAKE) -C $(IOEMU_DIR) $(patsubst ioemu%,%,$@) else ioemu ioemuinstall ioemuclean: endif